Debugging BDI-Based Multi-Agent Programs
نویسندگان
چکیده
The development of multi-agent programs requires debugging tools and techniques to find and resolve possible defects in such programs. This paper focuses on BDI-based multi-agent programs, discusses some existing debugging approaches that are developed for specific BDI-based multi-agent programming languages, and proposes a generic and systematic approach for debugging BDI-based multi-agent programs. The proposal consists of an assertion language to specify cognitive and temporal behavior of multi-agent programs and a set of debugging tools. The assertions can be assigned to the debugging tools which will be activated as soon as the execution of a multi-agent program satisfies the
منابع مشابه
On the Validation of Belief–Desire–Intention Agents
Testing and Debugging multi-agent systems (MAS) which are inherently concurrent and distributed – is a challenging task. While complex application scenarios demand intelligent entities with autonomous reasoning capabilities, the applied reasoning mechanisms impair current approaches to validate MAS implementations. Reactive planning systems, namely the well-known Belief Desire Intention (BDI) a...
متن کاملVerifying heterogeneous multi-agent programs
We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programming language that allows both an agent’s plans and its deliberation strategy to be encoded as part of the agent program. The agent programs comprising...
متن کاملOperational Semantics for BDI Modules in Multi-agent Programming
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implementation of agents, agent roles, and agent profiles. Moreover, the introduced concept of modules enables common programming techniques such as encapsulation and information hiding for BDI-based multi-agent programs. T...
متن کاملRunning AgentSpeak(L) Agents on SIM_AGENT
This paper presents what is, to the best of our knowledge, the very first successful attempt at running AgentSpeak(L) programs. AgentSpeak(L) is a programming language for BDI agents, created by Rao, with which he pointed for the first time towards bridging the gap between BDI logics and implemented BDI systems. Moreover, it has quite an elegant and neat notation for a BDI programming language,...
متن کاملReasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent programs executed concurrently. We choose alternating-time temporal logic (ATL) for expressing properties of such programs. However, the original ATL is based on a synchronous model of multi-agent computation while mo...
متن کامل